hoare logic nghĩa là gì

luận lý hoare

• tony hoare:    charles antony richard hoare
• charles antony richard hoare:    tony hoare
• logic:    ['lɔdʤik]danh từLôgiclogiclôgicAristotelian l. lôgic Arixtôtbasic l. lôgic cơ sởclassic l. lôgic cổ điểncombinatory l. lôgic tổng hợpconstructive l. lôgic kiến thiếtdialectical l. lôgic biện chứngfo

Câu ví dụ

Hoare logic is the best known.
Boolean logic được biết đến nhiều nhất.

Hoare logic (also known as Floyd–Hoare logic) is a formal system developed by the British computer scientist C. A. R. Hoare, and subsequently refined by Hoare and other researchers.
Luận lý Hoare (còn được biết đến với tên Luận lý Floyd–Hoare) là một hệ chính quy do nhà khoa học máy tính người Anh C. A. R. Hoare phát triển, và sau đó được Hoare và những nhà nghiên cứu khác tinh lọc lại.